(0 7 4)(1 16 15)(2 11 9)(3 20 18)(5 12 10)(6 13 8)(14 19 17)
ALLOWS (11/8)-SEQUENCE
1: (5 10 12)
(0 7 4)(1 16 15)(2 11 9)(3 20 18)(5 10 12)(6 13 8)(14 19 17)
2: (2 11 9)
(0 7 4)(1 16 15)(2)(3 20 18)(5 10 12)(6 13 8)(9)(11)(14 19 17)
3: (5 10 12)
(0 7 4)(1 16 15)(2)(3 20 18)(5)(6 13 8)(9)(10)(11)(12)(14 19 17)
4: (0 7 4)
(0)(1 16 15)(2)(3 20 18)(4)(5)(6 13 8)(7)(9)(10)(11)(12)(14 19 17)